delta-epsilon limit proofs